Reasoning in a restricted temporal logicPRASAD SISTLA, A; ZUCK, L. D.Information and computation (Print). 1993, Vol 102, Num 2, pp 167-195, issn 0890-5401Article

Control problems in a temporal logic frameworkTHISTLE, J. G; WONHAM, W. M.International Journal of Control. 1986, Vol 44, Num 4, pp 943-976, issn 0020-7179Article

Maintaining knowledge about temporal intervalsALLEN, J. F.Communications of the ACM. 1983, Vol 26, Num 11, pp 832-843, issn 0001-0782Article

Correct, Reactive, High―Level Robot ControlKRESS-GAZIT, Hadas; WONGPIROMSARN, Tichakorn; TOPCU, Ufuk et al.IEEE robotics & automation magazine. 2011, Vol 18, Num 3, pp 65-74, issn 1070-9932, 10 p.Article

Predicate diagrams as basis for the verification of reactive systemsNUGRAHENI, Cecilia E.Modeling and verification of parallel processes. Summer school. 2001, pp 354-359, 6 p.Conference Paper

Semantics of framed temporal logic programsZHENHUA DUAN; XIAOXIAO YANG; KOUTNY, Maciej et al.Lecture notes in computer science. 2005, pp 356-370, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 15 p.Conference Paper

Group know-howPAZMAN, R.Computers and artificial intelligence. 2000, Vol 19, Num 1, pp 47-78, issn 0232-0274Article

Approximating ATL^* in ATLHARDING, Aidan; RYAN, Mark; SCHOBBENS, Pierre-Yves et al.Lecture notes in computer science. 2002, pp 289-301, issn 0302-9743, isbn 3-540-43631-6Conference Paper

Linear temporal logic and finite semigroupsWILKE, Thomas.Lecture notes in computer science. 2001, pp 96-110, issn 0302-9743, isbn 3-540-42496-2Conference Paper

Using compositional preorders in the verification of Sliding window protocolKAIVOLA, R.Lecture notes in computer science. 1997, pp 48-59, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Temporal inferencing on administrative databasesLEE, R. M; COELHO, H; COTTA, J. C et al.Information systems (Oxford). 1985, Vol 10, Num 2, pp 197-206, issn 0306-4379Article

Proving failure-free properties of concurrent systems using temporal logicKARP, R. A.ACM transactions on programming languages and systems. 1984, Vol 6, Num 2, pp 239-253, issn 0164-0925Article

A common sense theory of causationBELL, John.Lecture notes in computer science. 2003, pp 40-53, issn 0302-9743, isbn 3-540-40380-9, 14 p.Conference Paper

Model checking a pathMARKEY, N; SCHNOEBELEN, P.Lecture notes in computer science. 2003, pp 251-265, issn 0302-9743, isbn 3-540-40753-7, 15 p.Conference Paper

From falsification to verificationPELED, Doron; PNUELI, Amir; ZUCK, Lenore et al.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-43002-4Conference Paper

A dense-time Temporal Logic with nice Compositionality PropertiesCAU, A; DE ROEVER, W.-P.EUROCAST '97International conference on computer aided systems theory and technology. 1997, pp 71-72, isbn 84-88912-04-8Conference Paper

Adding partial orders to linear temporal logicBHAT, G; PELED, D.Lecture notes in computer science. 1997, pp 119-134, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Decision procedures and expressiveness in the temporal logic of branching timeEMERSON, E. A; HALPERN, J. Y.Journal of computer and system sciences (Print). 1985, Vol 30, Num 1, pp 1-24, issn 0022-0000Article

A generalized nextime operator in temporal logicKRÖGER, F.Journal of computer and system sciences (Print). 1984, Vol 29, Num 1, pp 80-98, issn 0022-0000Article

Logiques du temps arborescent pour la spécification et la preuve de programmes = Branching time logics for program specification and proofGRAF, Susanne.1984, Pagination mult. [133 p.]Thesis

Logique temporelle (modale) et spécification du comportement dynamique d'un système = Temporal Logic (modal) and specification of dynamic behavior of a systemCOMBES, P; LEFORT, V.1984, 41 p.Report

Temporal logic can be more expressiveWOLPER, P.Information and control. 1983, Vol 56, Num 1-2, pp 72-99, issn 0019-9958Article

The temporal logic of branching timeBEN-ARI, M; PNUELI, A; MANNA, Z et al.Acta informatica. 1983, Vol 20, Num 3, pp 207-226, issn 0001-5903Article

Minimal refinements of specifications in modal and temporal logicsGOROGIANNIS, Nikos; RYAN, Mark.Formal aspects of computing. 2007, Vol 19, Num 4, pp 417-444, issn 0934-5043, 28 p.Article

Vacuity detection in temporal model checkingKUPFERMAN, Orna; VARDI, Moshe Y.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 2, pp 224-233, issn 1433-2779, 10 p.Conference Paper